-- Right chain, : case, 2 operators with p(a) > p(:)
l :: Int
l =
  1
    ^^ 2
    ^^ 3
    ^^ 4
    : 5
      ^^ 6
      ^^ 7
      ^^ 8
